Applied Logic in Engineering
نویسنده
چکیده
Logic not only helps to solve complicated and safety-critical problems, but also disciplines the mind and helps to develop abstract thinking, which is very important for any area of Engineering. In this technical report, we present an overview of common challenges in teaching of formal methods and discuss our experiences from the course Applied Logic in Engineering. This course was taught at TU Munich, Germany, in Winter Semester 2012/2013.
منابع مشابه
A New Method for Assessment of Engineering Drawing Answer Scripts Using Fuzzy Logic
Popular method for assessment of final exam answer scripts in university and among the engineering drawing answer scripts based on absolute true or false judgment and assigning a single number or letter to answer of each problem cannot be so fair. To obtain a fair assessment method, we considered “imagination”, “accuracy”, “drawing” and “innovation” that are objectives of engineering dra...
متن کاملDynamical formation control of wheeled mobile robots based on fuzzy logic
In this paper, the important formation control problem of nonholonomic wheeled mobile robots is investigated via a leader-follower strategy. To this end, the dynamics model of the considered wheeled mobile robot is derived using Lagrange equations of motion. Then, using ADAMS multi-body simulation software, the obtained dynamics of the wheeled system in MATLAB software is verified. After that, ...
متن کاملDesigning a Meta-Heuristic Algorithm Based on a Simple Seeking Logic
Nowadays, in majority of academic contexts, it has been tried to consider the highest possible level of similarities to the real world. Hence, most of the problems have complicated structures. Traditional methods for solving almost all of the mathematical and optimization problems are inefficient. As a result, meta-heuristic algorithms have been employed increasingly during recent years. In thi...
متن کاملMulti-objective design of fuzzy logic controller in supply chain
Unlike commonly used methods, in this paper, we have introduced a new approach for designing fuzzy controllers. In this approach, we have simultaneously optimized both objective functions of a supply chain over a two-dimensional space. Then, we have obtained a spectrum of optimized points, each of which represents a set of optimal parameters which can be chosen by the manager ...
متن کاملSensorless Model Reference Adaptive Control of DFIG by Using High Frequency Signal Injection and Fuzzy Logic Control
In this paper, a new sensorless model reference adaptive method is used for direct control of active and reactive power of the doubly fed induction generator (DFIG). In order to estimate the rotor speed, a high frequency signal injection scheme is implemented. In this study, to improve the accuracy of speed estimation, two methods are suggested. First, the coefficients of proportional-integral ...
متن کاملEvaluating Construction Projects by a New Group Decision-Making Model Based on Intuitionistic Fuzzy Logic Concepts
Select an appropriate project is a main key for contractors to increase their profits. In practice, in this area the uncertainty and imprecise of the involved parameters is so high. Therefore, considering fuzzy sets theory to deal with uncertainly is more appreciate. The aim of this paper is present a multi-criteria group decision-making model under an intuitionistic fuzzy set environment. Henc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1602.05170 شماره
صفحات -
تاریخ انتشار 2016